Verification by Execution